Empirical assessment of object-oriented implementations with multiple inheritance and static typing
نویسندگان
چکیده
منابع مشابه
Static Typing for Object-Oriented Programming
We develop a theory of statically typed object-oriented languages. It represents classes as labeled, regular trees, types as finite sets of classes, and subclassing as a partial order on trees. We show that our subclassing order strictly generalizes inheritance, and that a novel genericity mechanism arises as an order-theoretic complement. This mechanism, called class substitution, is pragmatic...
متن کاملStatic Typing of Dynamic Inheritance
Recent developments in subjectivity, composition technology and novel prototype-based languages demonstrate that dynamic object extension is an essential feature in modern object-orientation. The total absence of static type systems for dynamic object extension is a major obstacle for its adoption. We describe a static type system using specialisation interfaces with a trade-off between possibl...
متن کاملMultiple Inheritance in Object - Oriented Attribute
Object-oriented attribute grammars are a promising notation for language specifications. They hav e similar benefits as object-orientation in the area of programming languages. They support a compact and flexible style for language specifications. Existing definitions can be easily reused as well as the associated default behaviour. New definitions can be derived from existing ones by specializ...
متن کاملA Typeful Approach to Object-Oriented Programming with Multiple Inheritance
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a challenging research task to design a type system that can satisfactorily account for a variety of features (e.g., binary methods and multiple inheritance) in OOP. In this paper, we present a typeful approach to imple...
متن کاملObject - Oriented Inheritance Ofstatecharts
This paper discusses how object-oriented inheritance can be re-interpreted if statecharts are used for modelling the dynamic behaviour of an object. The support of inheritance of statecharts allows the improvement of systems' development by easing the reutilization of parts of already developed successful systems, and by promoting the iterative and continuous models' reenement advocated by the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2009
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1639949.1640093